import javax.servlet.ServletException;
import javax.servlet.annotation.WebServlet;
import javax.servlet.http.HttpServlet;
import javax.servlet.http.HttpServletRequest;
import javax.servlet.http.HttpServletResponse;
//import java.io.BufferedReader;
import java.io.IOException;
@WebServlet(urlPatterns = {"/logout"})
public class Servlet_Logout extends HttpServlet{

    protected void doGet(HttpServletRequest req, HttpServletResponse resp) throws ServletException, IOException {
        req.getSession().removeAttribute("LocalUser");
        //req.getSession().removeAttribute("token");
        resp.sendRedirect("https://cas.dgut.edu.cn/logout?callb ack=http://localhost:8080/Login.jsp");
    }
    protected void doPost(HttpServletRequest req, HttpServletResponse resp) throws ServletException,IOException
    {

        doGet(req,resp);
    }
}
